Amortized multi-point evaluation of multivariate polynomials
نویسندگان
چکیده
The evaluation of a polynomial at several points is called the problem multi-point evaluation. Sometimes, set fixed and polynomials need to be evaluated this points. Several efficient algorithms for kind “amortized” have been developed recently special cases bivariate or when generic. In paper, we extend these results in an arbitrary number variables We prove softly linear complexity bound fixed. Our method relies on novel quasi-reduction algorithm multivariate polynomials, that operates simultaneously with respect orderings monomials.
منابع مشابه
Oblivious evaluation of multivariate polynomials
One of the fundamental problems of multi-party computation is Oblivious Polynomial Evaluation. In that problem, that was introduced by Naor and Pinkas, Alice has a polynomial P (x) and Bob has a point α. The goal is to allow Bob to compute P (α) so that Alice remains oblivious of α and Bob of P (x), apart from what is implied by P (α) and α. We introduce the multivariate version of this problem...
متن کاملThe Evaluation of Multivariate Polynomials
In this article we present several logical schemes. The scheme FinRecExD2 deals with a non empty set A, an element B of A, a natural number C, and a ternary predicate P, and states that: There exists a finite sequence p of elements of A such that len p = C but p1 = B or C = 0 but for every natural number n such that 1 ¬ n and n < C holds P[n, pn, pn+1] provided the parameters meet the following...
متن کاملA Multivariate Amortized Resource Analysis
We study the problem of automatically analyzing the worst-case resource usage of procedures with several arguments. Existing automatic analyses based on amortization, or sized types bound the resource usage or result size of such a procedure by a sum of unary functions of the sizes of the arguments. In this paper we generalize this to arbitrary multivariate polynomial functions thus allowing bo...
متن کاملOn the evaluation of multivariate polynomials over finite fields
We describe a method to evaluate multivariate polynomials over a finite field and discuss its multiplicative complexity.
متن کاملPseudozeros of multivariate polynomials
The pseudozero set of a system f of polynomials in n complex variables is the subset of C which is the union of the zero-sets of all polynomial systems g that are near to f in a suitable sense. This concept is made precise, and general properties of pseudozero sets are established. In particular it is shown that in many cases of natural interest, the pseudozero set is a semialgebraic set. Also,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Complexity
سال: 2023
ISSN: ['1090-2708', '0885-064X']
DOI: https://doi.org/10.1016/j.jco.2022.101693